Constraint-Aware Model Transformations
نویسندگان
چکیده
This paper introduces a formal approach to the specification of constraint-aware model transformation which is suitable for language translation. The proposed approach extends graph transformations with the ability to specify and transform constraints by transformation rules. In particular, it uses non-deleting rules which are typed over the metamodel of a joined language which is constructed from the source and target languages. In addition, the application of transformation rules is formalised as pushout constructions which create a model that is typed over the metamodel of the joined language. Finally, the target model is obtained from the created model by a pullback construction.
منابع مشابه
Correctness of Constraint-Aware Model Transformations
Model transformations are important in Model Driven Engineering (MDE). They automate software development steps and greatly improve productivity and reduce software errors. However, the design of model transformation rules requires lots of manual work. To fully take advantage of MDE, correctness of model transformation rules should be ensured. In this paper, we present an ongoing work to use mo...
متن کاملMulti-item inventory model with probabilistic demand function under permissible delay in payment and fuzzy-stochastic budget constraint: A signomial geometric programming method
This study proposes a new multi-item inventory model with hybrid cost parameters under a fuzzy-stochastic constraint and permissible delay in payment. The price and marketing expenditure dependent stochastic demand and the demand dependent the unit production cost are considered. Shortages are allowed and partially backordered. The main objective of this paper is to determine selling price, mar...
متن کاملEnforcement of Patterns by Constraint-Aware Model Transformations
Patterns are descriptions and solutions for recurring problems in software design and implementation. In this paper, some ideas towards a formal approach to the specification of patterns in model-driven engineering (MDE) is presented. The approach is based on the Diagram Predicate Framework which provides a formal approach to (meta)modelling, model transformation and model management in MDE. In...
متن کاملSNR Maximization at CSI Aware AF Relay
This paper concerns two-hop communication over relay-assisted Block fading channel. It is assumed there is not a direct link between the transmitter and the affiliated destination and the communication occurs in two hops through the use of a relay, where the amplify and forward (AF) strategy is employed at this node. In this case, in a Rayleigh block fading channel, the optimal weight function ...
متن کاملUsing ATL to define advanced and flexible constraint model transformations
Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriting or tuning them is mandatory to get solving-efficient models. We propose a new architecture allowing to define bridges between any (modeling or solver) languages and to implement model optimizations. This architecture follows...
متن کامل